node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
node(141).
node(142).
node(143).
node(144).
node(145).
node(146).
node(147).
node(148).
node(149).
node(150).
link(1,5) :- #0.069.
link(5,1) :- #0.271.
link(1,21) :- #0.635.
link(21,1) :- #0.159.
link(1,22) :- #0.057.
link(22,1) :- #0.981.
link(1,44) :- #0.025.
link(44,1) :- #0.058.
link(1,48) :- #0.926.
link(48,1) :- #0.165.
link(1,74) :- #0.343.
link(74,1) :- #0.626.
link(1,77) :- #0.715.
link(77,1) :- #0.205.
link(1,84) :- #0.762.
link(84,1) :- #0.559.
link(1,94) :- #0.518.
link(94,1) :- #0.55.
link(1,117) :- #0.993.
link(117,1) :- #0.845.
link(1,126) :- #0.051.
link(126,1) :- #0.664.
link(1,127) :- #0.869.
link(127,1) :- #0.657.
link(1,144) :- #0.971.
link(144,1) :- #0.293.
link(1,149) :- #0.044.
link(149,1) :- #0.297.
link(2,16) :- #0.781.
link(16,2) :- #0.823.
link(2,22) :- #0.587.
link(22,2) :- #0.116.
link(2,24) :- #0.274.
link(24,2) :- #0.334.
link(2,36) :- #0.83.
link(36,2) :- #0.647.
link(2,51) :- #0.737.
link(51,2) :- #0.21.
link(2,70) :- #0.031.
link(70,2) :- #0.835.
link(2,87) :- #0.088.
link(87,2) :- #0.585.
link(2,102) :- #0.907.
link(102,2) :- #0.237.
link(2,119) :- #0.881.
link(119,2) :- #0.046.
link(2,138) :- #0.885.
link(138,2) :- #0.8.
link(3,11) :- #0.661.
link(11,3) :- #0.951.
link(3,34) :- #0.109.
link(34,3) :- #0.747.
link(3,36) :- #0.481.
link(36,3) :- #0.66.
link(3,38) :- #0.195.
link(38,3) :- #0.765.
link(3,52) :- #0.936.
link(52,3) :- #0.411.
link(3,69) :- #0.095.
link(69,3) :- #0.975.
link(3,72) :- #0.679.
link(72,3) :- #0.43.
link(3,73) :- #0.749.
link(73,3) :- #0.714.
link(3,82) :- #0.941.
link(82,3) :- #0.881.
link(3,83) :- #0.819.
link(83,3) :- #0.369.
link(3,96) :- #0.782.
link(96,3) :- #0.243.
link(3,110) :- #0.342.
link(110,3) :- #0.993.
link(3,116) :- #0.025.
link(116,3) :- #0.57.
link(3,124) :- #0.661.
link(124,3) :- #0.248.
link(3,125) :- #0.618.
link(125,3) :- #0.482.
link(3,139) :- #0.271.
link(139,3) :- #0.914.
link(3,142) :- #0.269.
link(142,3) :- #0.846.
link(3,144) :- #0.937.
link(144,3) :- #0.343.
link(3,146) :- #0.195.
link(146,3) :- #0.378.
link(3,149) :- #0.554.
link(149,3) :- #0.506.
link(4,13) :- #0.708.
link(13,4) :- #0.203.
link(4,18) :- #0.102.
link(18,4) :- #0.673.
link(4,19) :- #0.739.
link(19,4) :- #0.162.
link(4,23) :- #0.69.
link(23,4) :- #0.074.
link(4,30) :- #0.601.
link(30,4) :- #0.797.
link(4,39) :- #0.279.
link(39,4) :- #0.553.
link(4,53) :- #0.888.
link(53,4) :- #0.815.
link(4,55) :- #0.281.
link(55,4) :- #0.182.
link(4,60) :- #0.051.
link(60,4) :- #0.135.
link(4,112) :- #0.624.
link(112,4) :- #0.921.
link(4,122) :- #0.471.
link(122,4) :- #0.37.
link(4,123) :- #0.454.
link(123,4) :- #0.686.
link(4,140) :- #0.737.
link(140,4) :- #0.947.
link(5,9) :- #0.699.
link(9,5) :- #0.081.
link(5,28) :- #0.817.
link(28,5) :- #0.681.
link(5,33) :- #0.814.
link(33,5) :- #0.497.
link(5,42) :- #0.393.
link(42,5) :- #0.958.
link(5,60) :- #0.199.
link(60,5) :- #0.351.
link(5,62) :- #0.001.
link(62,5) :- #0.267.
link(5,71) :- #0.626.
link(71,5) :- #0.805.
link(5,85) :- #0.908.
link(85,5) :- #0.275.
link(5,104) :- #0.343.
link(104,5) :- #0.124.
link(5,114) :- #0.76.
link(114,5) :- #0.357.
link(5,140) :- #0.013.
link(140,5) :- #0.616.
link(5,144) :- #0.646.
link(144,5) :- #0.364.
link(5,145) :- #0.758.
link(145,5) :- #0.283.
link(6,17) :- #0.091.
link(17,6) :- #0.535.
link(6,40) :- #0.239.
link(40,6) :- #0.579.
link(6,55) :- #0.61.
link(55,6) :- #0.143.
link(6,64) :- #0.919.
link(64,6) :- #0.987.
link(6,73) :- #0.688.
link(73,6) :- #0.453.
link(6,75) :- #0.534.
link(75,6) :- #0.241.
link(6,76) :- #0.627.
link(76,6) :- #0.535.
link(6,78) :- #0.086.
link(78,6) :- #0.358.
link(6,96) :- #0.445.
link(96,6) :- #0.922.
link(6,100) :- #0.53.
link(100,6) :- #0.078.
link(6,137) :- #0.574.
link(137,6) :- #0.96.
link(6,145) :- #0.18.
link(145,6) :- #0.727.
link(7,8) :- #0.229.
link(8,7) :- #0.319.
link(7,10) :- #0.087.
link(10,7) :- #0.859.
link(7,11) :- #0.981.
link(11,7) :- #0.608.
link(7,15) :- #0.262.
link(15,7) :- #0.671.
link(7,25) :- #0.008.
link(25,7) :- #0.655.
link(7,75) :- #0.169.
link(75,7) :- #0.176.
link(7,102) :- #0.088.
link(102,7) :- #0.026.
link(7,105) :- #0.089.
link(105,7) :- #0.265.
link(7,107) :- #0.198.
link(107,7) :- #0.833.
link(7,112) :- #0.498.
link(112,7) :- #0.256.
link(7,136) :- #0.489.
link(136,7) :- #0.506.
link(7,144) :- #0.726.
link(144,7) :- #0.623.
link(8,29) :- #0.794.
link(29,8) :- #0.597.
link(8,37) :- #0.898.
link(37,8) :- #0.484.
link(8,62) :- #0.066.
link(62,8) :- #0.984.
link(8,71) :- #0.367.
link(71,8) :- #0.026.
link(8,77) :- #0.44.
link(77,8) :- #0.437.
link(8,91) :- #0.585.
link(91,8) :- #0.437.
link(8,105) :- #0.822.
link(105,8) :- #0.684.
link(8,106) :- #0.293.
link(106,8) :- #0.682.
link(8,111) :- #0.109.
link(111,8) :- #0.215.
link(8,119) :- #0.217.
link(119,8) :- #0.593.
link(8,138) :- #0.55.
link(138,8) :- #0.544.
link(8,142) :- #0.382.
link(142,8) :- #0.428.
link(9,30) :- #0.464.
link(30,9) :- #0.636.
link(9,35) :- #0.12.
link(35,9) :- #0.315.
link(9,40) :- #0.032.
link(40,9) :- #0.542.
link(9,50) :- #0.716.
link(50,9) :- #0.494.
link(9,64) :- #0.291.
link(64,9) :- #0.73.
link(9,113) :- #0.004.
link(113,9) :- #0.127.
link(9,140) :- #0.582.
link(140,9) :- #0.366.
link(9,149) :- #0.579.
link(149,9) :- #0.79.
link(10,29) :- #0.626.
link(29,10) :- #0.441.
link(10,32) :- #0.4.
link(32,10) :- #0.817.
link(10,40) :- #0.334.
link(40,10) :- #0.581.
link(10,43) :- #0.609.
link(43,10) :- #0.035.
link(10,62) :- #0.32.
link(62,10) :- #0.03.
link(10,73) :- #0.229.
link(73,10) :- #0.364.
link(10,83) :- #0.596.
link(83,10) :- #0.289.
link(10,97) :- #0.925.
link(97,10) :- #0.463.
link(10,104) :- #0.824.
link(104,10) :- #0.472.
link(10,106) :- #0.198.
link(106,10) :- #0.273.
link(10,108) :- #0.98.
link(108,10) :- #0.554.
link(10,113) :- #0.83.
link(113,10) :- #0.745.
link(10,117) :- #0.919.
link(117,10) :- #0.213.
link(10,118) :- #0.145.
link(118,10) :- #0.428.
link(10,125) :- #0.787.
link(125,10) :- #0.298.
link(10,129) :- #0.059.
link(129,10) :- #0.266.
link(10,136) :- #0.965.
link(136,10) :- #0.701.
link(11,15) :- #0.107.
link(15,11) :- #0.219.
link(11,16) :- #0.28.
link(16,11) :- #0.165.
link(11,22) :- #0.642.
link(22,11) :- #0.841.
link(11,23) :- #0.002.
link(23,11) :- #0.83.
link(11,27) :- #0.599.
link(27,11) :- #0.298.
link(11,59) :- #0.106.
link(59,11) :- #0.9.
link(11,68) :- #0.114.
link(68,11) :- #0.533.
link(11,74) :- #0.678.
link(74,11) :- #0.05.
link(11,75) :- #0.547.
link(75,11) :- #0.999.
link(11,88) :- #0.059.
link(88,11) :- #0.096.
link(11,97) :- #0.243.
link(97,11) :- #0.239.
link(11,102) :- #0.588.
link(102,11) :- #0.206.
link(11,113) :- #0.373.
link(113,11) :- #0.157.
link(11,117) :- #0.824.
link(117,11) :- #0.81.
link(11,119) :- #0.409.
link(119,11) :- #0.338.
link(11,135) :- #0.019.
link(135,11) :- #0.32.
link(11,137) :- #0.966.
link(137,11) :- #0.784.
link(11,139) :- #0.115.
link(139,11) :- #0.394.
link(12,28) :- #0.495.
link(28,12) :- #0.787.
link(12,41) :- #0.546.
link(41,12) :- #0.414.
link(12,48) :- #0.678.
link(48,12) :- #0.81.
link(12,54) :- #0.829.
link(54,12) :- #0.112.
link(12,62) :- #0.483.
link(62,12) :- #0.719.
link(12,70) :- #0.152.
link(70,12) :- #0.179.
link(12,84) :- #0.985.
link(84,12) :- #0.902.
link(12,85) :- #0.47.
link(85,12) :- #0.513.
link(12,102) :- #0.929.
link(102,12) :- #0.75.
link(12,131) :- #0.773.
link(131,12) :- #0.759.
link(12,138) :- #0.213.
link(138,12) :- #0.193.
link(13,63) :- #0.094.
link(63,13) :- #0.312.
link(13,68) :- #0.164.
link(68,13) :- #0.965.
link(13,82) :- #0.25.
link(82,13) :- #0.165.
link(13,86) :- #0.527.
link(86,13) :- #0.588.
link(13,88) :- #0.469.
link(88,13) :- #0.53.
link(13,90) :- #0.367.
link(90,13) :- #0.726.
link(13,92) :- #0.683.
link(92,13) :- #0.871.
link(13,93) :- #0.429.
link(93,13) :- #0.225.
link(13,108) :- #0.978.
link(108,13) :- #0.923.
link(13,112) :- #0.629.
link(112,13) :- #0.285.
link(13,114) :- #0.094.
link(114,13) :- #0.956.
link(13,126) :- #0.183.
link(126,13) :- #0.556.
link(13,127) :- #0.018.
link(127,13) :- #0.344.
link(13,140) :- #0.734.
link(140,13) :- #0.452.
link(14,19) :- #0.111.
link(19,14) :- #0.752.
link(14,20) :- #0.877.
link(20,14) :- #0.494.
link(14,25) :- #0.303.
link(25,14) :- #0.518.
link(14,42) :- #0.681.
link(42,14) :- #0.415.
link(14,62) :- #0.125.
link(62,14) :- #0.339.
link(14,81) :- #0.349.
link(81,14) :- #0.001.
link(14,88) :- #0.534.
link(88,14) :- #0.861.
link(14,94) :- #0.898.
link(94,14) :- #0.179.
link(14,109) :- #0.995.
link(109,14) :- #0.367.
link(14,149) :- #0.819.
link(149,14) :- #0.552.
link(15,21) :- #0.356.
link(21,15) :- #0.39.
link(15,37) :- #0.675.
link(37,15) :- #0.994.
link(15,43) :- #0.91.
link(43,15) :- #0.647.
link(15,49) :- #0.885.
link(49,15) :- #0.922.
link(15,54) :- #0.374.
link(54,15) :- #0.486.
link(15,55) :- #0.621.
link(55,15) :- #0.56.
link(15,66) :- #0.456.
link(66,15) :- #0.652.
link(15,69) :- #0.455.
link(69,15) :- #0.801.
link(15,74) :- #0.281.
link(74,15) :- #0.243.
link(15,78) :- #0.82.
link(78,15) :- #0.77.
link(15,84) :- #0.299.
link(84,15) :- #0.594.
link(15,99) :- #0.339.
link(99,15) :- #0.894.
link(15,113) :- #0.836.
link(113,15) :- #0.423.
link(15,115) :- #0.945.
link(115,15) :- #0.248.
link(15,121) :- #0.134.
link(121,15) :- #0.995.
link(15,131) :- #0.446.
link(131,15) :- #0.237.
link(15,141) :- #0.492.
link(141,15) :- #0.56.
link(16,24) :- #0.799.
link(24,16) :- #0.944.
link(16,29) :- #0.721.
link(29,16) :- #0.761.
link(16,30) :- #0.983.
link(30,16) :- #0.665.
link(16,44) :- #0.986.
link(44,16) :- #0.601.
link(16,49) :- #0.604.
link(49,16) :- #0.635.
link(16,54) :- #0.891.
link(54,16) :- #0.588.
link(16,55) :- #0.603.
link(55,16) :- #0.559.
link(16,57) :- #0.072.
link(57,16) :- #0.583.
link(16,70) :- #0.928.
link(70,16) :- #0.232.
link(16,71) :- #0.384.
link(71,16) :- #0.19.
link(16,95) :- #0.197.
link(95,16) :- #0.202.
link(16,102) :- #0.908.
link(102,16) :- #0.229.
link(16,104) :- #0.286.
link(104,16) :- #0.438.
link(16,111) :- #0.252.
link(111,16) :- #0.197.
link(16,123) :- #0.904.
link(123,16) :- #0.379.
link(16,139) :- #0.305.
link(139,16) :- #0.025.
link(17,19) :- #0.301.
link(19,17) :- #0.449.
link(17,24) :- #0.36.
link(24,17) :- #0.812.
link(17,55) :- #0.961.
link(55,17) :- #0.079.
link(17,82) :- #0.137.
link(82,17) :- #0.289.
link(17,91) :- #0.839.
link(91,17) :- #0.052.
link(17,114) :- #0.192.
link(114,17) :- #0.241.
link(17,123) :- #0.217.
link(123,17) :- #0.561.
link(17,125) :- #0.787.
link(125,17) :- #0.976.
link(17,128) :- #0.628.
link(128,17) :- #0.698.
link(17,130) :- #0.79.
link(130,17) :- #0.69.
link(17,136) :- #0.479.
link(136,17) :- #0.321.
link(18,33) :- #0.357.
link(33,18) :- #0.497.
link(18,41) :- #0.738.
link(41,18) :- #0.889.
link(18,58) :- #0.133.
link(58,18) :- #0.247.
link(18,64) :- #0.391.
link(64,18) :- #0.925.
link(18,69) :- #0.779.
link(69,18) :- #0.607.
link(18,71) :- #0.73.
link(71,18) :- #0.453.
link(18,82) :- #0.7.
link(82,18) :- #0.278.
link(18,93) :- #0.201.
link(93,18) :- #0.093.
link(18,104) :- #0.643.
link(104,18) :- #0.503.
link(18,116) :- #0.407.
link(116,18) :- #0.119.
link(18,118) :- #0.26.
link(118,18) :- #0.048.
link(18,120) :- #0.593.
link(120,18) :- #0.821.
link(18,134) :- #0.734.
link(134,18) :- #0.637.
link(19,21) :- #0.898.
link(21,19) :- #0.135.
link(19,32) :- #0.163.
link(32,19) :- #0.199.
link(19,43) :- #0.768.
link(43,19) :- #0.86.
link(19,62) :- #0.817.
link(62,19) :- #0.39.
link(19,63) :- #0.219.
link(63,19) :- #0.52.
link(19,147) :- #0.534.
link(147,19) :- #0.307.
link(20,23) :- #0.051.
link(23,20) :- #0.34.
link(20,31) :- #0.168.
link(31,20) :- #0.673.
link(20,60) :- #0.557.
link(60,20) :- #0.974.
link(20,75) :- #0.809.
link(75,20) :- #0.24.
link(20,83) :- #0.647.
link(83,20) :- #0.89.
link(20,104) :- #0.698.
link(104,20) :- #0.728.
link(20,105) :- #0.265.
link(105,20) :- #0.37.
link(20,108) :- #0.996.
link(108,20) :- #0.227.
link(20,110) :- #0.58.
link(110,20) :- #0.155.
link(20,116) :- #0.313.
link(116,20) :- #0.876.
link(20,139) :- #0.966.
link(139,20) :- #0.23.
link(20,144) :- #0.893.
link(144,20) :- #0.546.
link(21,27) :- #0.467.
link(27,21) :- #0.244.
link(21,33) :- #0.313.
link(33,21) :- #0.75.
link(21,38) :- #0.217.
link(38,21) :- #0.58.
link(21,48) :- #0.236.
link(48,21) :- #0.54.
link(21,76) :- #0.556.
link(76,21) :- #0.243.
link(21,88) :- #0.211.
link(88,21) :- #0.578.
link(21,98) :- #0.896.
link(98,21) :- #0.093.
link(21,121) :- #0.444.
link(121,21) :- #0.232.
link(21,132) :- #0.344.
link(132,21) :- #0.616.
link(21,141) :- #0.365.
link(141,21) :- #0.406.
link(21,144) :- #0.871.
link(144,21) :- #0.503.
link(21,147) :- #0.145.
link(147,21) :- #0.116.
link(22,45) :- #0.213.
link(45,22) :- #0.004.
link(22,56) :- #0.185.
link(56,22) :- #0.79.
link(22,61) :- #0.493.
link(61,22) :- #0.828.
link(22,69) :- #0.206.
link(69,22) :- #0.9.
link(22,70) :- #0.696.
link(70,22) :- #0.66.
link(22,75) :- #0.503.
link(75,22) :- #0.347.
link(22,82) :- #0.198.
link(82,22) :- #0.111.
link(22,94) :- #0.297.
link(94,22) :- #0.801.
link(22,108) :- #0.425.
link(108,22) :- #0.519.
link(22,130) :- #0.869.
link(130,22) :- #0.736.
link(22,138) :- #0.787.
link(138,22) :- #0.97.
link(22,140) :- #0.372.
link(140,22) :- #0.758.
link(22,147) :- #0.328.
link(147,22) :- #0.687.
link(23,25) :- #0.206.
link(25,23) :- #0.121.
link(23,30) :- #0.991.
link(30,23) :- #0.49.
link(23,45) :- #0.592.
link(45,23) :- #0.326.
link(23,57) :- #0.347.
link(57,23) :- #0.962.
link(23,62) :- #0.203.
link(62,23) :- #0.841.
link(23,65) :- #0.561.
link(65,23) :- #0.658.
link(23,67) :- #0.346.
link(67,23) :- #0.338.
link(23,114) :- #0.807.
link(114,23) :- #0.848.
link(23,115) :- #0.322.
link(115,23) :- #0.117.
link(23,124) :- #0.435.
link(124,23) :- #0.824.
link(23,141) :- #0.013.
link(141,23) :- #0.383.
link(23,146) :- #0.585.
link(146,23) :- #0.405.
link(24,29) :- #0.087.
link(29,24) :- #0.824.
link(24,55) :- #0.515.
link(55,24) :- #0.397.
link(24,70) :- #0.025.
link(70,24) :- #0.022.
link(24,113) :- #0.386.
link(113,24) :- #0.196.
link(24,123) :- #0.565.
link(123,24) :- #0.033.
link(24,130) :- #0.18.
link(130,24) :- #0.341.
link(24,136) :- #0.612.
link(136,24) :- #0.217.
link(25,30) :- #0.766.
link(30,25) :- #0.538.
link(25,40) :- #0.617.
link(40,25) :- #0.806.
link(25,44) :- #0.964.
link(44,25) :- #0.84.
link(25,50) :- #0.33.
link(50,25) :- #0.849.
link(25,90) :- #0.013.
link(90,25) :- #0.245.
link(25,96) :- #0.525.
link(96,25) :- #0.921.
link(25,98) :- #0.762.
link(98,25) :- #0.878.
link(25,102) :- #0.091.
link(102,25) :- #0.337.
link(25,114) :- #0.665.
link(114,25) :- #0.044.
link(25,139) :- #0.067.
link(139,25) :- #0.606.
link(26,28) :- #0.492.
link(28,26) :- #0.387.
link(26,32) :- #0.987.
link(32,26) :- #0.336.
link(26,41) :- #0.178.
link(41,26) :- #0.915.
link(26,57) :- #0.987.
link(57,26) :- #0.072.
link(26,62) :- #0.433.
link(62,26) :- #0.032.
link(26,66) :- #0.586.
link(66,26) :- #0.183.
link(26,103) :- #0.286.
link(103,26) :- #0.638.
link(26,121) :- #0.055.
link(121,26) :- #0.61.
link(26,129) :- #0.3.
link(129,26) :- #0.679.
link(26,137) :- #0.786.
link(137,26) :- #0.275.
link(26,140) :- #0.629.
link(140,26) :- #0.977.
link(26,149) :- #0.613.
link(149,26) :- #0.297.
link(27,33) :- #0.754.
link(33,27) :- #0.076.
link(27,41) :- #0.523.
link(41,27) :- #0.856.
link(27,52) :- #0.53.
link(52,27) :- #0.021.
link(27,78) :- #0.566.
link(78,27) :- #0.899.
link(27,82) :- #0.183.
link(82,27) :- #0.299.
link(27,85) :- #0.811.
link(85,27) :- #0.727.
link(27,112) :- #0.221.
link(112,27) :- #0.399.
link(27,129) :- #0.285.
link(129,27) :- #0.377.
link(28,35) :- #0.518.
link(35,28) :- #0.086.
link(28,54) :- #0.66.
link(54,28) :- #0.257.
link(28,62) :- #0.353.
link(62,28) :- #0.265.
link(28,63) :- #0.758.
link(63,28) :- #0.535.
link(28,86) :- #0.356.
link(86,28) :- #0.245.
link(28,94) :- #0.38.
link(94,28) :- #0.702.
link(28,131) :- #0.422.
link(131,28) :- #0.194.
link(28,138) :- #0.664.
link(138,28) :- #0.717.
link(29,31) :- #0.837.
link(31,29) :- #0.967.
link(29,43) :- #0.669.
link(43,29) :- #0.226.
link(29,52) :- #0.559.
link(52,29) :- #0.359.
link(29,56) :- #0.716.
link(56,29) :- #0.156.
link(29,64) :- #0.582.
link(64,29) :- #0.998.
link(29,77) :- #0.675.
link(77,29) :- #0.228.
link(29,81) :- #0.238.
link(81,29) :- #0.681.
link(29,129) :- #0.757.
link(129,29) :- #0.499.
link(29,137) :- #0.485.
link(137,29) :- #0.325.
link(30,38) :- #0.88.
link(38,30) :- #0.537.
link(30,39) :- #0.615.
link(39,30) :- #0.948.
link(30,51) :- #0.602.
link(51,30) :- #0.313.
link(30,69) :- #0.304.
link(69,30) :- #0.238.
link(30,72) :- #0.316.
link(72,30) :- #0.79.
link(30,77) :- #0.585.
link(77,30) :- #0.255.
link(30,82) :- #0.555.
link(82,30) :- #0.852.
link(30,115) :- #0.815.
link(115,30) :- #0.364.
link(30,134) :- #0.05.
link(134,30) :- #0.842.
link(31,35) :- #0.149.
link(35,31) :- #0.497.
link(31,41) :- #0.854.
link(41,31) :- #0.183.
link(31,44) :- #0.748.
link(44,31) :- #0.546.
link(31,49) :- #0.356.
link(49,31) :- #0.368.
link(31,56) :- #0.37.
link(56,31) :- #0.072.
link(31,86) :- #0.035.
link(86,31) :- #0.848.
link(31,92) :- #0.846.
link(92,31) :- #0.271.
link(31,93) :- #0.265.
link(93,31) :- #0.915.
link(31,94) :- #0.995.
link(94,31) :- #0.392.
link(31,100) :- #0.374.
link(100,31) :- #0.591.
link(31,119) :- #0.193.
link(119,31) :- #0.634.
link(31,121) :- #0.427.
link(121,31) :- #0.535.
link(31,126) :- #0.812.
link(126,31) :- #0.262.
link(31,137) :- #0.076.
link(137,31) :- #0.334.
link(31,142) :- #0.335.
link(142,31) :- #0.759.
link(32,40) :- #0.342.
link(40,32) :- #0.789.
link(32,44) :- #0.971.
link(44,32) :- #0.737.
link(32,51) :- #0.879.
link(51,32) :- #0.486.
link(32,59) :- #0.879.
link(59,32) :- #0.937.
link(32,67) :- #0.053.
link(67,32) :- #0.348.
link(32,71) :- #0.752.
link(71,32) :- #0.553.
link(32,72) :- #0.092.
link(72,32) :- #0.904.
link(32,76) :- #0.937.
link(76,32) :- #0.718.
link(32,81) :- #0.347.
link(81,32) :- #0.638.
link(32,89) :- #0.744.
link(89,32) :- #0.844.
link(32,111) :- #0.831.
link(111,32) :- #0.283.
link(32,119) :- #0.241.
link(119,32) :- #0.625.
link(32,139) :- #0.337.
link(139,32) :- #0.99.
link(33,42) :- #0.996.
link(42,33) :- #0.439.
link(33,49) :- #0.44.
link(49,33) :- #0.533.
link(33,57) :- #0.764.
link(57,33) :- #0.168.
link(33,99) :- #0.083.
link(99,33) :- #0.498.
link(33,102) :- #0.456.
link(102,33) :- #0.666.
link(33,115) :- #0.632.
link(115,33) :- #0.744.
link(33,118) :- #0.446.
link(118,33) :- #0.356.
link(33,125) :- #0.531.
link(125,33) :- #0.412.
link(33,126) :- #0.946.
link(126,33) :- #0.265.
link(33,131) :- #0.884.
link(131,33) :- #0.672.
link(33,135) :- #0.947.
link(135,33) :- #0.953.
link(33,137) :- #0.671.
link(137,33) :- #0.178.
link(33,146) :- #0.989.
link(146,33) :- #0.694.
link(34,35) :- #0.015.
link(35,34) :- #0.29.
link(34,52) :- #0.428.
link(52,34) :- #0.332.
link(34,62) :- #0.219.
link(62,34) :- #0.411.
link(34,70) :- #0.034.
link(70,34) :- #0.861.
link(34,82) :- #0.692.
link(82,34) :- #0.825.
link(34,99) :- #0.004.
link(99,34) :- #0.866.
link(34,106) :- #0.583.
link(106,34) :- #0.956.
link(34,112) :- #0.02.
link(112,34) :- #0.048.
link(34,114) :- #0.784.
link(114,34) :- #0.914.
link(34,127) :- #0.876.
link(127,34) :- #0.481.
link(34,142) :- #0.1.
link(142,34) :- #0.907.
link(34,146) :- #0.749.
link(146,34) :- #0.603.
link(35,56) :- #0.141.
link(56,35) :- #0.901.
link(35,63) :- #0.133.
link(63,35) :- #0.147.
link(35,87) :- #0.742.
link(87,35) :- #0.913.
link(35,95) :- #0.262.
link(95,35) :- #0.789.
link(35,102) :- #0.353.
link(102,35) :- #0.109.
link(35,105) :- #0.894.
link(105,35) :- #0.817.
link(35,117) :- #0.619.
link(117,35) :- #0.354.
link(35,127) :- #0.248.
link(127,35) :- #0.031.
link(35,148) :- #0.504.
link(148,35) :- #0.875.
link(36,55) :- #0.724.
link(55,36) :- #0.547.
link(36,57) :- #0.546.
link(57,36) :- #0.991.
link(36,66) :- #0.529.
link(66,36) :- #0.69.
link(36,85) :- #0.751.
link(85,36) :- #0.461.
link(36,92) :- #0.279.
link(92,36) :- #0.32.
link(36,95) :- #0.922.
link(95,36) :- #0.536.
link(36,129) :- #0.853.
link(129,36) :- #0.401.
link(37,41) :- #0.801.
link(41,37) :- #0.544.
link(37,54) :- #0.704.
link(54,37) :- #0.399.
link(37,66) :- #0.94.
link(66,37) :- #0.137.
link(37,72) :- #0.526.
link(72,37) :- #0.973.
link(37,87) :- #0.011.
link(87,37) :- #0.82.
link(37,90) :- #0.63.
link(90,37) :- #0.869.
link(37,96) :- #0.879.
link(96,37) :- #0.207.
link(37,98) :- #0.919.
link(98,37) :- #0.801.
link(37,108) :- #0.875.
link(108,37) :- #0.413.
link(37,135) :- #0.524.
link(135,37) :- #0.385.
link(38,49) :- #0.89.
link(49,38) :- #0.121.
link(38,59) :- #0.504.
link(59,38) :- #0.778.
link(38,67) :- #0.132.
link(67,38) :- #0.221.
link(38,85) :- #0.74.
link(85,38) :- #0.078.
link(38,103) :- #0.163.
link(103,38) :- #0.299.
link(38,114) :- #0.876.
link(114,38) :- #0.713.
link(38,148) :- #0.591.
link(148,38) :- #0.989.
link(39,54) :- #0.883.
link(54,39) :- #0.945.
link(39,69) :- #0.879.
link(69,39) :- #0.876.
link(39,89) :- #0.179.
link(89,39) :- #0.346.
link(39,90) :- #0.03.
link(90,39) :- #0.943.
link(39,96) :- #0.98.
link(96,39) :- #0.077.
link(39,98) :- #0.628.
link(98,39) :- #0.672.
link(39,101) :- #0.435.
link(101,39) :- #0.142.
link(39,107) :- #0.213.
link(107,39) :- #0.028.
link(39,109) :- #0.519.
link(109,39) :- #0.512.
link(39,149) :- #0.283.
link(149,39) :- #0.468.
link(40,41) :- #0.557.
link(41,40) :- #0.192.
link(40,43) :- #0.157.
link(43,40) :- #0.389.
link(40,69) :- #0.643.
link(69,40) :- #0.565.
link(40,99) :- #0.459.
link(99,40) :- #0.632.
link(40,126) :- #0.251.
link(126,40) :- #0.701.
link(40,129) :- #0.248.
link(129,40) :- #0.524.
link(40,132) :- #0.643.
link(132,40) :- #0.025.
link(41,54) :- #0.74.
link(54,41) :- #0.024.
link(41,59) :- #0.557.
link(59,41) :- #0.755.
link(41,63) :- #0.721.
link(63,41) :- #0.682.
link(41,81) :- #0.431.
link(81,41) :- #0.698.
link(41,87) :- #0.86.
link(87,41) :- #0.681.
link(41,104) :- #0.549.
link(104,41) :- #0.269.
link(41,106) :- #0.323.
link(106,41) :- #0.45.
link(41,110) :- #0.856.
link(110,41) :- #0.399.
link(41,131) :- #0.884.
link(131,41) :- #0.241.
link(41,134) :- #0.578.
link(134,41) :- #0.289.
link(41,137) :- #0.663.
link(137,41) :- #0.141.
link(41,142) :- #0.566.
link(142,41) :- #0.635.
link(41,144) :- #0.229.
link(144,41) :- #0.231.
link(42,45) :- #0.482.
link(45,42) :- #0.113.
link(42,54) :- #0.887.
link(54,42) :- #0.575.
link(42,58) :- #0.623.
link(58,42) :- #0.908.
link(42,64) :- #0.044.
link(64,42) :- #0.298.
link(42,101) :- #0.414.
link(101,42) :- #0.997.
link(42,121) :- #0.841.
link(121,42) :- #0.051.
link(42,127) :- #0.217.
link(127,42) :- #0.795.
link(42,130) :- #0.099.
link(130,42) :- #0.252.
link(42,132) :- #0.255.
link(132,42) :- #0.598.
link(43,52) :- #0.784.
link(52,43) :- #0.849.
link(43,64) :- #0.648.
link(64,43) :- #0.655.
link(43,66) :- #0.786.
link(66,43) :- #0.286.
link(43,86) :- #0.143.
link(86,43) :- #0.657.
link(43,93) :- #0.081.
link(93,43) :- #0.38.
link(43,97) :- #0.209.
link(97,43) :- #0.159.
link(43,115) :- #0.308.
link(115,43) :- #0.069.
link(43,117) :- #0.262.
link(117,43) :- #0.859.
link(43,132) :- #0.016.
link(132,43) :- #0.185.
link(43,139) :- #0.715.
link(139,43) :- #0.584.
link(44,55) :- #0.394.
link(55,44) :- #0.502.
link(44,72) :- #0.902.
link(72,44) :- #0.251.
link(44,76) :- #0.027.
link(76,44) :- #0.364.
link(44,90) :- #0.214.
link(90,44) :- #0.17.
link(44,97) :- #0.139.
link(97,44) :- #0.795.
link(44,105) :- #0.775.
link(105,44) :- #0.07.
link(44,111) :- #0.22.
link(111,44) :- #0.63.
link(44,126) :- #0.843.
link(126,44) :- #0.726.
link(45,53) :- #0.673.
link(53,45) :- #0.195.
link(45,63) :- #0.68.
link(63,45) :- #0.345.
link(45,70) :- #0.957.
link(70,45) :- #0.11.
link(45,75) :- #0.885.
link(75,45) :- #0.044.
link(45,78) :- #0.427.
link(78,45) :- #0.108.
link(45,94) :- #0.951.
link(94,45) :- #0.188.
link(45,110) :- #0.691.
link(110,45) :- #0.251.
link(45,113) :- #0.828.
link(113,45) :- #0.607.
link(45,120) :- #0.668.
link(120,45) :- #0.618.
link(45,125) :- #0.532.
link(125,45) :- #0.229.
link(45,131) :- #0.008.
link(131,45) :- #0.625.
link(46,111) :- #0.64.
link(111,46) :- #0.582.
link(46,120) :- #0.866.
link(120,46) :- #0.354.
link(46,130) :- #0.158.
link(130,46) :- #0.302.
link(46,131) :- #0.969.
link(131,46) :- #0.235.
link(46,145) :- #0.51.
link(145,46) :- #0.02.
link(47,95) :- #0.178.
link(95,47) :- #0.492.
link(47,97) :- #0.856.
link(97,47) :- #0.066.
link(47,98) :- #0.472.
link(98,47) :- #0.948.
link(47,103) :- #0.054.
link(103,47) :- #0.768.
link(47,105) :- #0.006.
link(105,47) :- #0.198.
link(47,113) :- #0.925.
link(113,47) :- #0.96.
link(47,114) :- #0.32.
link(114,47) :- #0.017.
link(47,132) :- #0.333.
link(132,47) :- #0.606.
link(47,134) :- #0.17.
link(134,47) :- #0.205.
link(47,136) :- #0.622.
link(136,47) :- #0.556.
link(47,140) :- #0.084.
link(140,47) :- #0.275.
link(48,51) :- #0.057.
link(51,48) :- #0.746.
link(48,56) :- #0.671.
link(56,48) :- #0.289.
link(48,70) :- #0.994.
link(70,48) :- #0.108.
link(48,79) :- #0.642.
link(79,48) :- #0.45.
link(48,88) :- #0.057.
link(88,48) :- #0.922.
link(48,108) :- #0.454.
link(108,48) :- #0.378.
link(48,130) :- #0.711.
link(130,48) :- #0.87.
link(48,136) :- #0.501.
link(136,48) :- #0.252.
link(49,57) :- #0.414.
link(57,49) :- #0.97.
link(49,58) :- #0.799.
link(58,49) :- #0.669.
link(49,71) :- #0.281.
link(71,49) :- #0.519.
link(49,78) :- #0.606.
link(78,49) :- #0.317.
link(49,85) :- #0.672.
link(85,49) :- #0.952.
link(49,90) :- #0.241.
link(90,49) :- #0.614.
link(49,91) :- #0.739.
link(91,49) :- #0.861.
link(49,101) :- #0.369.
link(101,49) :- #0.835.
link(49,103) :- #0.17.
link(103,49) :- #0.619.
link(49,107) :- #0.933.
link(107,49) :- #0.899.
link(49,113) :- #0.74.
link(113,49) :- #0.845.
link(49,120) :- #0.08.
link(120,49) :- #0.711.
link(49,130) :- #0.873.
link(130,49) :- #0.237.
link(49,149) :- #0.444.
link(149,49) :- #0.547.
link(50,54) :- #0.031.
link(54,50) :- #0.791.
link(50,55) :- #0.679.
link(55,50) :- #0.389.
link(50,58) :- #0.038.
link(58,50) :- #0.562.
link(50,60) :- #0.853.
link(60,50) :- #0.114.
link(50,85) :- #0.409.
link(85,50) :- #0.657.
link(50,95) :- #0.139.
link(95,50) :- #0.074.
link(50,109) :- #0.658.
link(109,50) :- #0.085.
link(50,112) :- #0.825.
link(112,50) :- #0.529.
link(50,121) :- #0.624.
link(121,50) :- #0.104.
link(50,126) :- #0.316.
link(126,50) :- #0.922.
link(50,130) :- #0.927.
link(130,50) :- #0.473.
link(51,62) :- #0.091.
link(62,51) :- #0.495.
link(51,70) :- #0.161.
link(70,51) :- #0.124.
link(51,74) :- #0.207.
link(74,51) :- #0.923.
link(51,80) :- #0.896.
link(80,51) :- #0.531.
link(51,89) :- #0.37.
link(89,51) :- #0.562.
link(51,96) :- #0.455.
link(96,51) :- #0.969.
link(51,99) :- #0.994.
link(99,51) :- #0.627.
link(51,106) :- #0.065.
link(106,51) :- #0.881.
link(51,109) :- #0.311.
link(109,51) :- #0.867.
link(51,118) :- #0.924.
link(118,51) :- #0.185.
link(51,122) :- #0.134.
link(122,51) :- #0.555.
link(51,129) :- #0.938.
link(129,51) :- #0.004.
link(51,133) :- #0.488.
link(133,51) :- #0.311.
link(51,136) :- #0.113.
link(136,51) :- #0.62.
link(51,145) :- #0.997.
link(145,51) :- #0.137.
link(52,81) :- #0.429.
link(81,52) :- #0.249.
link(52,95) :- #0.799.
link(95,52) :- #0.404.
link(52,99) :- #0.385.
link(99,52) :- #0.363.
link(52,106) :- #0.269.
link(106,52) :- #0.269.
link(52,113) :- #0.604.
link(113,52) :- #0.89.
link(52,121) :- #0.913.
link(121,52) :- #0.305.
link(52,126) :- #0.824.
link(126,52) :- #0.737.
link(52,127) :- #0.393.
link(127,52) :- #0.151.
link(53,65) :- #0.438.
link(65,53) :- #0.375.
link(53,86) :- #0.545.
link(86,53) :- #0.663.
link(53,129) :- #0.466.
link(129,53) :- #0.592.
link(53,131) :- #0.807.
link(131,53) :- #0.874.
link(53,136) :- #0.137.
link(136,53) :- #0.417.
link(53,148) :- #0.403.
link(148,53) :- #0.671.
link(54,93) :- #0.534.
link(93,54) :- #0.377.
link(54,94) :- #0.663.
link(94,54) :- #0.345.
link(54,114) :- #0.121.
link(114,54) :- #0.7.
link(54,117) :- #0.659.
link(117,54) :- #0.417.
link(54,144) :- #0.067.
link(144,54) :- #0.682.
link(55,64) :- #0.982.
link(64,55) :- #0.539.
link(55,74) :- #0.937.
link(74,55) :- #0.584.
link(55,81) :- #0.618.
link(81,55) :- #0.991.
link(55,98) :- #0.263.
link(98,55) :- #0.193.
link(55,101) :- #0.911.
link(101,55) :- #0.722.
link(55,102) :- #0.199.
link(102,55) :- #0.327.
link(55,128) :- #0.113.
link(128,55) :- #0.005.
link(55,140) :- #0.862.
link(140,55) :- #0.309.
link(55,143) :- #0.899.
link(143,55) :- #0.255.
link(55,149) :- #0.181.
link(149,55) :- #0.044.
link(56,62) :- #0.782.
link(62,56) :- #0.15.
link(56,64) :- #0.103.
link(64,56) :- #0.975.
link(56,65) :- #0.072.
link(65,56) :- #0.824.
link(56,78) :- #0.81.
link(78,56) :- #0.821.
link(56,135) :- #0.036.
link(135,56) :- #0.185.
link(56,139) :- #0.168.
link(139,56) :- #0.654.
link(56,141) :- #0.056.
link(141,56) :- #0.451.
link(57,68) :- #0.639.
link(68,57) :- #0.147.
link(57,69) :- #0.99.
link(69,57) :- #0.243.
link(57,72) :- #0.511.
link(72,57) :- #0.732.
link(57,78) :- #0.822.
link(78,57) :- #0.448.
link(57,83) :- #0.825.
link(83,57) :- #0.11.
link(57,100) :- #0.063.
link(100,57) :- #0.702.
link(57,101) :- #0.145.
link(101,57) :- #0.068.
link(57,103) :- #0.85.
link(103,57) :- #0.547.
link(57,112) :- #0.287.
link(112,57) :- #0.591.
link(57,116) :- #0.275.
link(116,57) :- #0.921.
link(57,126) :- #0.804.
link(126,57) :- #0.851.
link(57,127) :- #0.079.
link(127,57) :- #0.796.
link(57,135) :- #0.958.
link(135,57) :- #0.052.
link(58,68) :- #0.463.
link(68,58) :- #0.046.
link(58,73) :- #0.854.
link(73,58) :- #0.4.
link(58,75) :- #0.634.
link(75,58) :- #0.479.
link(58,80) :- #0.53.
link(80,58) :- #0.357.
link(58,84) :- #0.806.
link(84,58) :- #0.741.
link(58,92) :- #0.977.
link(92,58) :- #0.059.
link(58,93) :- #0.305.
link(93,58) :- #0.197.
link(58,104) :- #0.129.
link(104,58) :- #0.478.
link(58,123) :- #0.053.
link(123,58) :- #0.12.
link(59,75) :- #0.946.
link(75,59) :- #0.857.
link(59,82) :- #0.107.
link(82,59) :- #0.488.
link(59,100) :- #0.138.
link(100,59) :- #0.878.
link(59,106) :- #0.815.
link(106,59) :- #0.403.
link(59,118) :- #0.258.
link(118,59) :- #0.215.
link(59,143) :- #0.007.
link(143,59) :- #0.837.
link(60,62) :- #0.794.
link(62,60) :- #0.786.
link(60,70) :- #0.113.
link(70,60) :- #0.802.
link(60,87) :- #0.994.
link(87,60) :- #0.532.
link(60,110) :- #0.106.
link(110,60) :- #0.69.
link(60,121) :- #0.205.
link(121,60) :- #0.637.
link(60,122) :- #0.133.
link(122,60) :- #0.934.
link(60,128) :- #0.042.
link(128,60) :- #0.17.
link(60,129) :- #0.132.
link(129,60) :- #0.131.
link(61,79) :- #0.194.
link(79,61) :- #0.397.
link(61,111) :- #0.813.
link(111,61) :- #0.607.
link(61,112) :- #0.743.
link(112,61) :- #0.975.
link(61,122) :- #0.084.
link(122,61) :- #0.234.
link(61,124) :- #0.73.
link(124,61) :- #0.625.
link(61,126) :- #0.433.
link(126,61) :- #0.198.
link(61,131) :- #0.081.
link(131,61) :- #0.206.
link(61,149) :- #0.276.
link(149,61) :- #0.668.
link(62,64) :- #0.721.
link(64,62) :- #0.644.
link(62,66) :- #0.87.
link(66,62) :- #0.934.
link(62,69) :- #0.789.
link(69,62) :- #0.441.
link(62,75) :- #0.834.
link(75,62) :- #0.074.
link(62,83) :- #0.65.
link(83,62) :- #0.361.
link(62,85) :- #0.554.
link(85,62) :- #0.316.
link(62,90) :- #0.103.
link(90,62) :- #0.81.
link(62,98) :- #0.875.
link(98,62) :- #0.875.
link(62,130) :- #0.877.
link(130,62) :- #0.903.
link(62,135) :- #0.44.
link(135,62) :- #0.618.
link(62,139) :- #0.474.
link(139,62) :- #0.685.
link(62,142) :- #0.264.
link(142,62) :- #0.63.
link(63,66) :- #0.392.
link(66,63) :- #0.407.
link(63,71) :- #0.517.
link(71,63) :- #0.837.
link(63,90) :- #0.227.
link(90,63) :- #0.775.
link(63,103) :- #0.815.
link(103,63) :- #0.819.
link(63,118) :- #0.517.
link(118,63) :- #0.044.
link(63,127) :- #0.47.
link(127,63) :- #0.756.
link(63,137) :- #0.997.
link(137,63) :- #0.44.
link(63,150) :- #0.259.
link(150,63) :- #0.893.
link(64,86) :- #0.297.
link(86,64) :- #0.572.
link(64,88) :- #0.093.
link(88,64) :- #0.776.
link(64,89) :- #0.841.
link(89,64) :- #0.9.
link(64,93) :- #0.131.
link(93,64) :- #0.806.
link(64,111) :- #0.345.
link(111,64) :- #0.502.
link(64,125) :- #0.013.
link(125,64) :- #0.031.
link(64,128) :- #0.018.
link(128,64) :- #0.96.
link(64,138) :- #0.948.
link(138,64) :- #0.742.
link(64,142) :- #0.485.
link(142,64) :- #0.256.
link(65,75) :- #0.038.
link(75,65) :- #0.846.
link(65,104) :- #0.821.
link(104,65) :- #0.78.
link(65,105) :- #0.726.
link(105,65) :- #0.678.
link(65,137) :- #0.851.
link(137,65) :- #0.554.
link(65,139) :- #0.226.
link(139,65) :- #0.014.
link(65,147) :- #0.284.
link(147,65) :- #0.244.
link(65,149) :- #0.911.
link(149,65) :- #0.518.
link(66,74) :- #0.993.
link(74,66) :- #0.605.
link(66,107) :- #0.359.
link(107,66) :- #0.504.
link(66,115) :- #0.244.
link(115,66) :- #0.438.
link(66,116) :- #0.271.
link(116,66) :- #0.984.
link(66,130) :- #0.177.
link(130,66) :- #0.601.
link(66,139) :- #0.057.
link(139,66) :- #0.153.
link(66,145) :- #0.029.
link(145,66) :- #0.835.
link(67,78) :- #0.143.
link(78,67) :- #0.139.
link(67,83) :- #0.278.
link(83,67) :- #0.437.
link(67,86) :- #0.226.
link(86,67) :- #0.63.
link(67,98) :- #0.987.
link(98,67) :- #0.818.
link(67,108) :- #0.735.
link(108,67) :- #0.418.
link(67,111) :- #0.586.
link(111,67) :- #0.531.
link(67,141) :- #0.843.
link(141,67) :- #0.43.
link(68,83) :- #0.183.
link(83,68) :- #0.309.
link(68,90) :- #0.809.
link(90,68) :- #0.283.
link(68,110) :- #0.402.
link(110,68) :- #0.127.
link(68,115) :- #0.387.
link(115,68) :- #0.972.
link(68,116) :- #0.857.
link(116,68) :- #0.373.
link(68,125) :- #0.201.
link(125,68) :- #0.2.
link(68,150) :- #0.511.
link(150,68) :- #0.479.
link(69,75) :- #0.326.
link(75,69) :- #0.915.
link(69,77) :- #0.646.
link(77,69) :- #0.849.
link(69,87) :- #0.102.
link(87,69) :- #0.435.
link(69,90) :- #0.496.
link(90,69) :- #0.876.
link(69,101) :- #0.208.
link(101,69) :- #0.668.
link(69,102) :- #0.15.
link(102,69) :- #0.268.
link(69,113) :- #0.902.
link(113,69) :- #0.297.
link(69,116) :- #0.39.
link(116,69) :- #0.543.
link(69,137) :- #0.804.
link(137,69) :- #0.674.
link(69,144) :- #0.164.
link(144,69) :- #0.511.
link(69,150) :- #0.755.
link(150,69) :- #0.831.
link(70,94) :- #0.327.
link(94,70) :- #0.085.
link(70,106) :- #0.693.
link(106,70) :- #0.477.
link(70,107) :- #0.774.
link(107,70) :- #0.948.
link(70,117) :- #0.653.
link(117,70) :- #0.656.
link(70,123) :- #0.734.
link(123,70) :- #0.286.
link(70,134) :- #0.424.
link(134,70) :- #0.765.
link(70,141) :- #0.556.
link(141,70) :- #0.088.
link(70,142) :- #0.999.
link(142,70) :- #0.576.
link(70,144) :- #0.048.
link(144,70) :- #0.747.
link(70,148) :- #0.103.
link(148,70) :- #0.534.
link(71,72) :- #0.341.
link(72,71) :- #0.064.
link(71,73) :- #0.104.
link(73,71) :- #0.846.
link(71,80) :- #0.147.
link(80,71) :- #0.075.
link(71,92) :- #0.844.
link(92,71) :- #0.294.
link(71,96) :- #0.327.
link(96,71) :- #0.673.
link(71,101) :- #0.028.
link(101,71) :- #0.479.
link(71,120) :- #0.468.
link(120,71) :- #0.063.
link(71,124) :- #0.033.
link(124,71) :- #0.754.
link(71,127) :- #0.869.
link(127,71) :- #0.026.
link(71,137) :- #0.485.
link(137,71) :- #0.781.
link(71,139) :- #0.241.
link(139,71) :- #0.584.
link(71,142) :- #0.756.
link(142,71) :- #0.745.
link(71,144) :- #0.928.
link(144,71) :- #0.324.
link(71,146) :- #0.262.
link(146,71) :- #0.39.
link(72,83) :- #0.425.
link(83,72) :- #0.725.
link(72,85) :- #0.068.
link(85,72) :- #0.22.
link(72,128) :- #0.981.
link(128,72) :- #0.683.
link(72,132) :- #0.783.
link(132,72) :- #0.429.
link(72,137) :- #0.669.
link(137,72) :- #0.025.
link(73,84) :- #0.006.
link(84,73) :- #0.074.
link(73,86) :- #0.192.
link(86,73) :- #0.443.
link(73,103) :- #0.967.
link(103,73) :- #0.07.
link(73,133) :- #0.089.
link(133,73) :- #0.547.
link(73,144) :- #0.367.
link(144,73) :- #0.149.
link(73,145) :- #0.763.
link(145,73) :- #0.874.
link(73,146) :- #0.505.
link(146,73) :- #0.665.
link(73,150) :- #0.723.
link(150,73) :- #0.919.
link(74,90) :- #0.31.
link(90,74) :- #0.264.
link(74,91) :- #0.701.
link(91,74) :- #0.756.
link(74,101) :- #0.034.
link(101,74) :- #0.882.
link(74,102) :- #0.281.
link(102,74) :- #0.396.
link(74,106) :- #0.807.
link(106,74) :- #0.292.
link(74,118) :- #0.655.
link(118,74) :- #0.867.
link(74,126) :- #0.474.
link(126,74) :- #0.685.
link(74,135) :- #0.205.
link(135,74) :- #0.48.
link(74,143) :- #0.779.
link(143,74) :- #0.343.
link(75,88) :- #0.119.
link(88,75) :- #0.021.
link(75,95) :- #0.951.
link(95,75) :- #0.84.
link(75,103) :- #0.132.
link(103,75) :- #0.606.
link(75,104) :- #0.533.
link(104,75) :- #0.865.
link(75,105) :- #0.034.
link(105,75) :- #0.932.
link(75,118) :- #0.319.
link(118,75) :- #0.629.
link(75,136) :- #0.527.
link(136,75) :- #0.928.
link(75,148) :- #0.777.
link(148,75) :- #0.061.
link(76,81) :- #0.748.
link(81,76) :- #0.842.
link(76,96) :- #0.294.
link(96,76) :- #0.793.
link(76,100) :- #0.683.
link(100,76) :- #0.325.
link(76,115) :- #0.038.
link(115,76) :- #0.349.
link(76,124) :- #0.378.
link(124,76) :- #0.555.
link(76,133) :- #0.592.
link(133,76) :- #0.345.
link(76,135) :- #0.256.
link(135,76) :- #0.283.
link(76,141) :- #0.814.
link(141,76) :- #0.72.
link(76,146) :- #0.833.
link(146,76) :- #0.225.
link(77,107) :- #0.269.
link(107,77) :- #0.789.
link(77,131) :- #0.234.
link(131,77) :- #0.477.
link(78,92) :- #0.13.
link(92,78) :- #0.772.
link(78,97) :- #0.157.
link(97,78) :- #0.046.
link(78,113) :- #0.688.
link(113,78) :- #0.422.
link(78,128) :- #0.548.
link(128,78) :- #0.486.
link(78,138) :- #0.494.
link(138,78) :- #0.861.
link(78,147) :- #0.39.
link(147,78) :- #0.735.
link(79,112) :- #0.112.
link(112,79) :- #0.901.
link(79,126) :- #0.543.
link(126,79) :- #0.29.
link(79,130) :- #0.41.
link(130,79) :- #0.304.
link(79,133) :- #0.845.
link(133,79) :- #0.547.
link(79,139) :- #0.991.
link(139,79) :- #0.937.
link(79,146) :- #0.188.
link(146,79) :- #0.878.
link(80,84) :- #0.728.
link(84,80) :- #0.8.
link(80,100) :- #0.56.
link(100,80) :- #0.415.
link(80,114) :- #0.397.
link(114,80) :- #0.047.
link(80,138) :- #0.192.
link(138,80) :- #0.568.
link(81,83) :- #0.102.
link(83,81) :- #0.281.
link(81,93) :- #0.693.
link(93,81) :- #0.684.
link(81,97) :- #0.918.
link(97,81) :- #0.548.
link(81,134) :- #0.186.
link(134,81) :- #0.384.
link(81,139) :- #0.727.
link(139,81) :- #0.218.
link(82,97) :- #0.783.
link(97,82) :- #0.811.
link(82,102) :- #0.555.
link(102,82) :- #0.59.
link(82,106) :- #0.72.
link(106,82) :- #0.17.
link(82,131) :- #0.382.
link(131,82) :- #0.984.
link(82,139) :- #0.17.
link(139,82) :- #0.386.
link(82,144) :- #0.799.
link(144,82) :- #0.86.
link(82,146) :- #0.144.
link(146,82) :- #0.945.
link(83,88) :- #0.487.
link(88,83) :- #0.286.
link(83,93) :- #0.283.
link(93,83) :- #0.759.
link(83,96) :- #0.152.
link(96,83) :- #0.755.
link(83,97) :- #0.335.
link(97,83) :- #0.36.
link(83,119) :- #0.533.
link(119,83) :- #0.791.
link(83,121) :- #0.203.
link(121,83) :- #0.608.
link(83,122) :- #0.756.
link(122,83) :- #0.218.
link(83,123) :- #0.845.
link(123,83) :- #0.038.
link(83,124) :- #0.781.
link(124,83) :- #0.054.
link(83,126) :- #0.663.
link(126,83) :- #0.799.
link(84,91) :- #0.73.
link(91,84) :- #0.156.
link(84,94) :- #0.301.
link(94,84) :- #0.997.
link(84,121) :- #0.564.
link(121,84) :- #0.539.
link(84,150) :- #0.617.
link(150,84) :- #0.966.
link(85,90) :- #0.013.
link(90,85) :- #0.339.
link(85,110) :- #0.765.
link(110,85) :- #0.32.
link(85,113) :- #0.87.
link(113,85) :- #0.058.
link(85,114) :- #0.605.
link(114,85) :- #0.347.
link(85,136) :- #0.254.
link(136,85) :- #0.942.
link(85,138) :- #0.332.
link(138,85) :- #0.73.
link(86,90) :- #0.15.
link(90,86) :- #0.193.
link(86,94) :- #0.417.
link(94,86) :- #0.541.
link(86,103) :- #0.314.
link(103,86) :- #0.438.
link(86,117) :- #0.487.
link(117,86) :- #0.746.
link(86,123) :- #0.444.
link(123,86) :- #0.389.
link(86,128) :- #0.958.
link(128,86) :- #0.008.
link(86,134) :- #0.481.
link(134,86) :- #0.385.
link(86,136) :- #0.559.
link(136,86) :- #0.666.
link(86,140) :- #0.
link(140,86) :- #0.176.
link(86,143) :- #0.813.
link(143,86) :- #0.357.
link(87,89) :- #0.369.
link(89,87) :- #0.766.
link(87,90) :- #0.197.
link(90,87) :- #0.698.
link(87,106) :- #0.516.
link(106,87) :- #0.684.
link(87,112) :- #0.731.
link(112,87) :- #0.654.
link(87,116) :- #0.78.
link(116,87) :- #0.909.
link(87,134) :- #0.928.
link(134,87) :- #0.177.
link(87,144) :- #0.029.
link(144,87) :- #0.95.
link(87,147) :- #0.124.
link(147,87) :- #0.283.
link(88,103) :- #0.511.
link(103,88) :- #0.717.
link(88,109) :- #0.737.
link(109,88) :- #0.966.
link(88,114) :- #0.263.
link(114,88) :- #0.76.
link(88,121) :- #0.758.
link(121,88) :- #0.15.
link(88,125) :- #0.225.
link(125,88) :- #0.871.
link(88,126) :- #0.083.
link(126,88) :- #0.808.
link(88,134) :- #0.926.
link(134,88) :- #0.702.
link(88,145) :- #0.958.
link(145,88) :- #0.361.
link(89,91) :- #0.983.
link(91,89) :- #0.91.
link(89,109) :- #0.916.
link(109,89) :- #0.623.
link(89,110) :- #0.055.
link(110,89) :- #0.876.
link(89,115) :- #0.059.
link(115,89) :- #0.85.
link(89,117) :- #0.004.
link(117,89) :- #0.615.
link(89,125) :- #0.093.
link(125,89) :- #0.462.
link(89,139) :- #0.013.
link(139,89) :- #0.233.
link(90,94) :- #0.315.
link(94,90) :- #0.82.
link(90,95) :- #0.534.
link(95,90) :- #0.912.
link(90,97) :- #0.035.
link(97,90) :- #0.137.
link(90,146) :- #0.152.
link(146,90) :- #0.832.
link(91,101) :- #0.156.
link(101,91) :- #0.259.
link(91,108) :- #0.432.
link(108,91) :- #0.592.
link(91,116) :- #0.584.
link(116,91) :- #0.318.
link(91,135) :- #0.471.
link(135,91) :- #0.388.
link(92,93) :- #0.51.
link(93,92) :- #0.279.
link(92,94) :- #0.254.
link(94,92) :- #0.512.
link(92,107) :- #0.838.
link(107,92) :- #0.261.
link(92,147) :- #0.819.
link(147,92) :- #0.384.
link(93,97) :- #0.885.
link(97,93) :- #0.458.
link(93,99) :- #0.145.
link(99,93) :- #0.573.
link(93,105) :- #0.115.
link(105,93) :- #0.156.
link(93,108) :- #0.332.
link(108,93) :- #0.638.
link(93,129) :- #0.051.
link(129,93) :- #0.89.
link(93,138) :- #0.815.
link(138,93) :- #0.699.
link(94,96) :- #0.342.
link(96,94) :- #0.535.
link(94,100) :- #0.832.
link(100,94) :- #0.701.
link(94,118) :- #0.444.
link(118,94) :- #0.213.
link(95,112) :- #0.25.
link(112,95) :- #0.247.
link(95,146) :- #0.885.
link(146,95) :- #0.05.
link(96,97) :- #0.823.
link(97,96) :- #0.649.
link(96,113) :- #0.874.
link(113,96) :- #0.418.
link(96,137) :- #0.549.
link(137,96) :- #0.76.
link(96,140) :- #0.245.
link(140,96) :- #0.461.
link(97,116) :- #0.633.
link(116,97) :- #0.83.
link(97,125) :- #0.724.
link(125,97) :- #0.858.
link(97,129) :- #0.499.
link(129,97) :- #0.74.
link(97,134) :- #0.1.
link(134,97) :- #0.601.
link(98,123) :- #0.936.
link(123,98) :- #0.951.
link(98,147) :- #0.581.
link(147,98) :- #0.534.
link(99,106) :- #0.038.
link(106,99) :- #0.167.
link(99,107) :- #0.896.
link(107,99) :- #0.662.
link(99,108) :- #0.601.
link(108,99) :- #0.392.
link(99,109) :- #0.177.
link(109,99) :- #0.353.
link(99,116) :- #0.778.
link(116,99) :- #0.832.
link(99,135) :- #0.573.
link(135,99) :- #0.168.
link(100,137) :- #0.348.
link(137,100) :- #0.035.
link(100,141) :- #0.568.
link(141,100) :- #0.799.
link(101,114) :- #0.143.
link(114,101) :- #0.136.
link(101,125) :- #0.997.
link(125,101) :- #0.601.
link(101,129) :- #0.194.
link(129,101) :- #0.988.
link(101,131) :- #0.741.
link(131,101) :- #0.142.
link(101,135) :- #0.47.
link(135,101) :- #0.918.
link(101,142) :- #0.411.
link(142,101) :- #0.776.
link(101,147) :- #0.027.
link(147,101) :- #0.496.
link(102,107) :- #0.193.
link(107,102) :- #0.11.
link(102,127) :- #0.649.
link(127,102) :- #0.053.
link(102,128) :- #0.522.
link(128,102) :- #0.67.
link(102,145) :- #0.941.
link(145,102) :- #0.037.
link(103,110) :- #0.601.
link(110,103) :- #0.69.
link(103,114) :- #0.481.
link(114,103) :- #0.987.
link(103,118) :- #0.84.
link(118,103) :- #0.653.
link(103,127) :- #0.169.
link(127,103) :- #0.05.
link(103,129) :- #0.381.
link(129,103) :- #0.606.
link(103,135) :- #0.941.
link(135,103) :- #0.148.
link(104,113) :- #0.553.
link(113,104) :- #0.716.
link(104,124) :- #0.526.
link(124,104) :- #0.004.
link(104,129) :- #0.796.
link(129,104) :- #0.815.
link(104,131) :- #0.995.
link(131,104) :- #0.161.
link(104,137) :- #0.53.
link(137,104) :- #0.578.
link(104,148) :- #0.304.
link(148,104) :- #0.541.
link(105,130) :- #0.3.
link(130,105) :- #0.286.
link(105,137) :- #0.404.
link(137,105) :- #0.096.
link(105,144) :- #0.983.
link(144,105) :- #0.322.
link(105,150) :- #0.452.
link(150,105) :- #0.262.
link(106,110) :- #0.942.
link(110,106) :- #0.223.
link(106,119) :- #0.245.
link(119,106) :- #0.582.
link(106,128) :- #0.987.
link(128,106) :- #0.484.
link(106,142) :- #0.7.
link(142,106) :- #0.274.
link(106,144) :- #0.018.
link(144,106) :- #0.85.
link(106,147) :- #0.46.
link(147,106) :- #0.442.
link(107,117) :- #0.297.
link(117,107) :- #0.411.
link(107,130) :- #0.02.
link(130,107) :- #0.051.
link(107,137) :- #0.603.
link(137,107) :- #0.841.
link(107,141) :- #0.861.
link(141,107) :- #0.674.
link(107,147) :- #0.841.
link(147,107) :- #0.013.
link(108,123) :- #0.418.
link(123,108) :- #0.27.
link(108,147) :- #0.27.
link(147,108) :- #0.504.
link(109,121) :- #0.422.
link(121,109) :- #0.022.
link(109,125) :- #0.894.
link(125,109) :- #0.984.
link(109,129) :- #0.62.
link(129,109) :- #0.248.
link(109,134) :- #0.059.
link(134,109) :- #0.849.
link(109,146) :- #0.588.
link(146,109) :- #0.068.
link(109,149) :- #0.121.
link(149,109) :- #0.96.
link(110,114) :- #0.639.
link(114,110) :- #0.309.
link(110,118) :- #0.739.
link(118,110) :- #0.753.
link(110,119) :- #0.589.
link(119,110) :- #0.784.
link(110,120) :- #0.65.
link(120,110) :- #0.066.
link(110,129) :- #0.556.
link(129,110) :- #0.938.
link(110,137) :- #0.505.
link(137,110) :- #0.54.
link(111,136) :- #0.425.
link(136,111) :- #0.732.
link(111,138) :- #0.844.
link(138,111) :- #0.793.
link(111,145) :- #0.122.
link(145,111) :- #0.825.
link(111,149) :- #0.494.
link(149,111) :- #0.413.
link(112,119) :- #0.264.
link(119,112) :- #0.663.
link(112,135) :- #0.679.
link(135,112) :- #0.163.
link(112,136) :- #0.917.
link(136,112) :- #0.994.
link(112,140) :- #0.957.
link(140,112) :- #0.366.
link(112,142) :- #0.501.
link(142,112) :- #0.077.
link(112,149) :- #0.505.
link(149,112) :- #0.7.
link(112,150) :- #0.911.
link(150,112) :- #0.042.
link(113,132) :- #0.477.
link(132,113) :- #0.362.
link(113,140) :- #0.61.
link(140,113) :- #0.434.
link(114,120) :- #0.501.
link(120,114) :- #0.818.
link(114,129) :- #0.206.
link(129,114) :- #0.148.
link(114,133) :- #0.355.
link(133,114) :- #0.832.
link(114,135) :- #0.213.
link(135,114) :- #0.09.
link(114,149) :- #0.291.
link(149,114) :- #0.846.
link(115,143) :- #0.643.
link(143,115) :- #0.911.
link(115,144) :- #0.186.
link(144,115) :- #0.78.
link(115,147) :- #0.531.
link(147,115) :- #0.695.
link(116,117) :- #0.08.
link(117,116) :- #0.062.
link(116,120) :- #0.736.
link(120,116) :- #0.269.
link(116,122) :- #0.673.
link(122,116) :- #0.082.
link(116,127) :- #0.448.
link(127,116) :- #0.77.
link(116,132) :- #0.108.
link(132,116) :- #0.79.
link(116,141) :- #0.084.
link(141,116) :- #0.722.
link(117,126) :- #0.949.
link(126,117) :- #0.878.
link(117,130) :- #0.995.
link(130,117) :- #0.386.
link(117,137) :- #0.424.
link(137,117) :- #0.834.
link(117,145) :- #0.019.
link(145,117) :- #0.826.
link(118,131) :- #0.017.
link(131,118) :- #0.33.
link(118,147) :- #0.931.
link(147,118) :- #0.402.
link(119,125) :- #0.753.
link(125,119) :- #0.24.
link(119,131) :- #0.748.
link(131,119) :- #0.472.
link(119,134) :- #0.429.
link(134,119) :- #0.372.
link(119,135) :- #0.482.
link(135,119) :- #0.517.
link(119,138) :- #0.721.
link(138,119) :- #0.69.
link(119,139) :- #0.648.
link(139,119) :- #0.755.
link(119,147) :- #0.013.
link(147,119) :- #0.513.
link(120,124) :- #0.
link(124,120) :- #0.456.
link(120,133) :- #0.811.
link(133,120) :- #0.601.
link(120,140) :- #0.719.
link(140,120) :- #0.351.
link(121,139) :- #0.26.
link(139,121) :- #0.212.
link(122,123) :- #0.473.
link(123,122) :- #0.997.
link(122,124) :- #0.204.
link(124,122) :- #0.363.
link(122,128) :- #0.391.
link(128,122) :- #0.203.
link(122,144) :- #0.979.
link(144,122) :- #0.776.
link(122,149) :- #0.359.
link(149,122) :- #0.147.
link(123,125) :- #0.106.
link(125,123) :- #0.006.
link(123,126) :- #0.027.
link(126,123) :- #0.928.
link(123,131) :- #0.956.
link(131,123) :- #0.307.
link(123,133) :- #0.17.
link(133,123) :- #0.748.
link(123,136) :- #0.216.
link(136,123) :- #0.992.
link(123,150) :- #0.507.
link(150,123) :- #0.877.
link(124,128) :- #0.663.
link(128,124) :- #0.692.
link(124,131) :- #0.616.
link(131,124) :- #0.944.
link(125,134) :- #0.798.
link(134,125) :- #0.756.
link(125,143) :- #0.202.
link(143,125) :- #0.899.
link(126,130) :- #0.486.
link(130,126) :- #0.265.
link(127,137) :- #0.859.
link(137,127) :- #0.487.
link(127,144) :- #0.161.
link(144,127) :- #0.082.
link(128,139) :- #0.51.
link(139,128) :- #0.962.
link(129,136) :- #0.574.
link(136,129) :- #0.329.
link(129,141) :- #0.642.
link(141,129) :- #0.552.
link(129,150) :- #0.446.
link(150,129) :- #0.385.
link(130,132) :- #0.874.
link(132,130) :- #0.483.
link(130,148) :- #0.166.
link(148,130) :- #0.385.
link(131,147) :- #0.598.
link(147,131) :- #0.86.
link(132,140) :- #0.331.
link(140,132) :- #0.522.
link(132,141) :- #0.87.
link(141,132) :- #0.835.
link(133,150) :- #0.154.
link(150,133) :- #0.556.
link(134,139) :- #0.072.
link(139,134) :- #0.166.
link(134,147) :- #0.627.
link(147,134) :- #0.767.
link(135,140) :- #0.511.
link(140,135) :- #0.824.
link(136,141) :- #0.751.
link(141,136) :- #0.426.
link(136,143) :- #0.159.
link(143,136) :- #0.824.
link(136,144) :- #0.775.
link(144,136) :- #0.216.
link(137,142) :- #0.393.
link(142,137) :- #0.051.
link(138,144) :- #0.326.
link(144,138) :- #0.2.
link(139,147) :- #0.478.
link(147,139) :- #0.023.
link(139,148) :- #0.936.
link(148,139) :- #0.975.
link(140,144) :- #0.685.
link(144,140) :- #0.993.
link(143,144) :- #0.884.
link(144,143) :- #0.883.
link(145,148) :- #0.393.
link(148,145) :- #0.44.
link(148,149) :- #0.702.
link(149,148) :- #0.148.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
